Dines Bjørner: որոնել Z-Library կայքում

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Don't use scam websites

Գրքեր (42)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 53.92 MB

0 / 0

english, 2006

2

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Տարի:

2006

Լեզու:

english

Ֆայլ:

DJVU, 8.01 MB

0 / 0

english, 2006

3

Software Engineering 3

Software Engineering 3

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 7.34 MB

5.0 / 0

english, 2006

4

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Springer-Verlag Berlin Heidelberg

Prof. Dr. Dines Bjørner (auth.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 23.68 MB

0 / 0

english, 2006

5

Software Engineering 3

Software Engineering 3

Springer Science & Business Media

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 7.28 MB

5.0 / 0

english, 2006

6

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 43.50 MB

0 / 0

english, 2006

7

DOMAIN ENGINEERING - Technology Management, Research and Engineering

DOMAIN ENGINEERING - Technology Management, Research and Engineering

Լեզու:

english

Ֆայլ:

PDF, 32.72 MB

0 / 0

english

8

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 4.29 MB

0 / 0

english, 2007

9

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

PDF, 6.23 MB

0 / 5.0

english, 1996

10

Formal Methods in Software Development

Formal Methods in Software Development

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

Տարի:

1990

Լեզու:

english

Ֆայլ:

DJVU, 4.14 MB

0 / 0

english, 1990

11

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

DJVU, 3.86 MB

0 / 0

english, 1996

12

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

PDF, 7.85 MB

0 / 0

english, 1989

13

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 6.37 MB

0 / 0

english, 2000

14

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), P. Dembiński (eds.)

Տարի:

1980

Լեզու:

english

Ֆայլ:

DJVU, 6.42 MB

0 / 0

english, 1980

15

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 39.54 MB

0 / 0

english, 2006

16

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 7.77 MB

5.0 / 5.0

english, 2006

17

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 39.92 MB

0 / 0

english, 2006

18

Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 4.58 MB

0 / 0

english, 2021

19

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

Տարի:

2006

Լեզու:

english

Ֆայլ:

DJVU, 6.10 MB

0 / 0

english, 2006

20

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

Տարի:

2006

Լեզու:

english

Ֆայլ:

DJVU, 8.45 MB

0 / 0

english, 2006

21

Logics of Specification Languages

Logics of Specification Languages

Dines Bjørner, Martin C. Henson (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 3.69 MB

0 / 0

english, 2008

22

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 3.23 MB

0 / 5.0

english, 2010

23

Domain Science and Engineering. A Foundation for Software Development.

Domain Science and Engineering. A Foundation for Software Development.

Springer International Publishing AG

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 4.58 MB

0 / 5.0

english, 2021

24

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Տարի:

1978

Լեզու:

english

Ֆայլ:

PDF, 14.97 MB

0 / 0

english, 1978

25

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 3.04 MB

0 / 0

english, 2010

26

Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 4.58 MB

0 / 0

english, 2021

27

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

DJVU, 4.05 MB

0 / 0

english, 1991

28

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Տարի:

1993

Լեզու:

english

Ֆայլ:

DJVU, 3.88 MB

0 / 0

english, 1993

29

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Տարի:

1978

Լեզու:

english

Ֆայլ:

DJVU, 1.81 MB

0 / 0

english, 1978

30

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 5.59 MB

0 / 0

english, 2001

31

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

DJVU, 4.46 MB

0 / 0

english, 1987

32

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

DJVU, 4.18 MB

0 / 0

english, 1989

33

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

Տարի:

1980

Լեզու:

english

Ֆայլ:

DJVU, 3.11 MB

0 / 0

english, 1980

34

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

Տարի:

1980

Լեզու:

english

Ֆայլ:

PDF, 9.32 MB

0 / 0

english, 1980

35

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

PDF, 11.36 MB

0 / 0

english, 1987

36

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Kesav V. Nori (eds.)

Տարի:

1986

Լեզու:

english

Ֆայլ:

DJVU, 4.73 MB

0 / 0

english, 1986

37

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Տարի:

1978

Լեզու:

english

Ֆայլ:

PDF, 14.98 MB

0 / 0

english, 1978

38

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 7.07 MB

0 / 0

english, 2001

39

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 8.87 MB

0 / 0

english, 1991

40

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Տարի:

1993

Լեզու:

english

Ֆայլ:

PDF, 6.56 MB

0 / 0

english, 1993

41

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 6.33 MB

0 / 0

english, 2007

42

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 7.84 MB

0 / 0

english, 2000